Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
21	Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia {abonnair,samth}@indiana.edu, Rowan.Davies@cba. Add to Reading List Source URL: frenchy64.github.io Language: English - Date: 2016-08-15 14:26:54 Software engineering Computing Computer programming Functional languages Concurrent programming languages Programming languages Procedural programming languages Cross-platform software Clojure Multiple dispatch Type system Dynamic programming language
22	DSLs in Haskell Ryan Newton Back-end Add to Reading List Source URL: vjovanov.github.io Language: English - Date: 2016-08-07 07:28:53 Software engineering Computer programming Declarative programming Functional languages Functional programming Data types Type theory Compilers Template Haskell Haskell Generalized algebraic data type Metaprogramming
23	ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵｃｏｓｔ＠ＰＵＵＯＱＵｄｅｃｉｓｉｏｎｓｵ｢ｪ･｣ｴＺ＠ Add to Reading List Source URL: w3.cost.eu Language: English - Date: 2015-11-12 17:02:31 Software engineering Software Type theory Programming language theory Proof assistants Functional languages Formal methods Logic in computer science Formal verification Dependent type Agda Coq
24	Extended Abstract Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstr¨om Sam Lindley Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-08-01 08:25:07 Software engineering Computer programming Computing Functional languages Control flow Software design patterns OCaml Monad Exception handling Type system Caml ML
25	JVM Backend and Optimizer in Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Scala 2.12 on one Slide • Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Computing Software engineering Computer programming Object-oriented programming languages Cross-platform software Concurrent programming languages Java platform Functional languages Scala Java virtual machine Foreach loop Java
26	02157 Functional Programming - Sequences Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 17:30:05 Software engineering Programming language theory Computer programming Functional languages Primality tests Procedural programming languages Integer sequences Lazy evaluation Pure Sieve of Eratosthenes ALGOL 68 Functional programming
27	The GPars Quick Reference The Whole GPars Team <> Version 1.2.1, Table of Contents Actor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Add to Reading List Source URL: www.gpars.org Language: English - Date: 2016-04-26 15:35:22 Software engineering Computing Computer programming Object-oriented programming languages Concurrent programming languages Software design patterns Functional languages Scripting languages Clojure Xtend E Closure
28	Non-alphanumeric code With JavaScript & PHP by Gareth Heyes $=~[];$={___:++$,$$$$:(![]+"")[$],__$:++$,$_$_:(![]+"")[$],_$_:++$,$_$$:({}+"")[$],$$_$:($[$]+"")[$],_$$:++$,$$$_:(!""+"")[ $],$__:++$,$_$:++$,$$__:({}+"")[$], Add to Reading List Source URL: www.businessinfo.co.uk Language: English - Date: 2011-11-16 18:19:47 Software engineering Computer programming Computing Cross-platform software Object-oriented programming languages Functional languages Scripting languages Concurrent programming languages JavaScript Operator Relational operator Java
29	OCaml Standard Library Standard Modules Basic Data Types Pervasives String Array Add to Reading List Source URL: www.lri.fr Language: English - Date: 2012-09-19 09:12:11 Software engineering Computer programming Programming language theory Functional languages OCaml Caml ML Ur Fold
30	A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-27 15:19:02 Software engineering Programming language theory Computer programming Type theory Procedural programming languages Functional languages Logic in computer science Programming language semantics Standard ML Denotational semantics Monad Type system

UPDATE